J : [
] where e
 implements T
i
